2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)
Автор:
Javier Esparza
, Автор:
Keijo Heljanko
Размер книги: 1.99 Mb
Finite and Algorithmic Model Theory
Автор:
Javier Esparza
, Автор:
Christian Michaux
, Автор:
Charles Steinhorn
Размер книги: 1.54 Mb
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European ... Computer Science and General Issues)
Автор:
Javier Esparza
, Автор:
Rupak Majumdar
Размер книги: 6.51 Mb
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European ... Computer Science and General Issues)
Автор:
Javier Esparza
, Автор:
Rupak Majumdar
Категория:
Компьютеры
Размер книги: 5.39 Mb
Curso General De Disidencia
Автор:
Esparza Jose Javier
Категория:
fiction
Размер книги: 552 Kb
Applications and Theory of Petri Nets 2002, 23 conf., ICATPN 2002
Автор:
Javier Esparza
, Автор:
Charles Lakos
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 4.38 Mb
Free choice Petri nets
Автор:
Jorg Desel
, Автор:
Javier Esparza
Категория:
Cs_Computer science
,
CsDi_Discrete math
Размер книги: 1.71 Mb
Free Choice Petri Nets
Автор:
Jorg Desel
, Автор:
Javier Esparza
Размер книги: 9.38 Mb
